1. Brouwer's Cambridge lectures on intuitionism
Author: / edited by D. van Dalen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Intuitionistic mathematics
Classification :
QA9
.
47
.
B76
1981
2. Brouwer's Cambridge lectures on intuitionism
Author: / edited by D. van Dalen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Intuitionistic mathematics
Classification :
QA9
.
47
.
B76
1981
3. Logic Colloquium '80
Author: / edited by D. van Dalen, D. Lascar, T.J. Smiley. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
Classification :
BC
,
135
,.
L57
,
1982
4. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
Author: edited by D. van Dalen, D. Lascar, T.J. Smiley
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1L63
1980
5. The L. E. J. Brouwer Centenary Symposium
Author: / edited by A. S. Troelstra and D. Van Dalen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Topology,Algebraic topology
6. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
Author: edited by A.S. Troelstra and D. Van Dalen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
Classification :
QA
9
.
56
.
L2
1981
7. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Author: edited by A.S. Troelstra and D. van Dalen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
Classification :
QA
9
.
56
.
L2
1981
